361. Mathematical aspects of logic programming semantics
المؤلف: / Pascal Hitzler, Anthony Seda
المکتبة: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع: Logic programming,Programming languages (Electronic computers),-- Semantics
رده :
005
.
115
H676M
2011
362. Mathematical foundations of programming semantics:7th international conference pittshurgh,PA,USA,MArch 1991 proceedings
المؤلف: Nonmonotonic and inductive logic:second international workshop reinhards brom castle,Germany,December 1991 proceedings
المکتبة: (کرمان)
موضوع: Logic programming-congresses,Artificial intelligence-congresses
رده :
QA
76
.
6
.
N671
1993
363. Mathematical logic and programming language
المؤلف: Hoare, C. A. R.
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
M3646
1985
364. Mathematical logic and programming languages
المؤلف: edited by C.A.R. Hoare and J.C. Shepherdson
المکتبة: (طهران)
موضوع: ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
M3646
1985
365. Mathematical logic and programming languages
المؤلف: / Edited by C. A. R. Hoare, J. C. Shepherdson
المکتبة: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع: Programming languages (Electronic computers),Logic, symbolic and mathematical
رده :
QA76
.
6
.
M3646
1985
366. Meta-programming in logic : Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992: proceedings
المؤلف: A. Pettorossi, ed
المکتبة: (طهران)
موضوع: Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
649
367. Meta-programmming in logic : Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992 : proceedings
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Logic programming-- Congresses
رده :
QA
76
.
63
.
I567
1992
368. Mind versus computer: were Dreyfus and Winograd right?
المؤلف: edited by M. Gams, M. Paprzycki, and X. Wu
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع: ، Artificial intelligence,، Machine learning,، Logic programming
رده :
Q
334
.
5
.
M56
369. Mind versus computer :were Dreyfus and Winograd right?
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Artificial intelligence,، Machine learning,، Logic programming
رده :
Q
334
.
5
.
M56
1997
370. Natural language understanding
المؤلف: Allen, James, James Allen
المکتبة: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: Semantics ، Programming languages )Electronic computers(,، Language and logic,، Artificial intelligence
رده :
QA
76
.
7
.
A44
N3
371. Natural language understanding
المؤلف: Allen, James
المکتبة: كتابخانه پژوهشگاه نیرو (طهران)
موضوع: ، Programming languages )Electronic computers(- Semantics,، Language and logic,، Artificial intelligence
رده :
QA
76
.
7
.
A44
1987
372. Natural language understanding
المؤلف: / James Allen
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Programming languages (Electronic computers)- Semantics,Language and logic,Artificial intelligence
رده :
QA76
.
7
.
A44
1995
373. Natural language understanding
المؤلف: / James Allen
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Programming languages (Electronic computers)- Semantics,Language and logic,Artificial intelligence
رده :
QA76
.
7
.
A44
1995
374. Natural language understanding and logic programming, II
المؤلف: / edited by Veronica Dahl and Patrick Saint-Dizier
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Programming languages (Electronic computers)- Semantics- Congresses,Logic programming- Congresses
رده :
QA76
.
7
.
I578
1987
375. Natural language understanding and logic programming, II. : Proceedings of the...17-19 Aug., 1987
المؤلف: edited by Veronica Dahl and Patrick Saint-Dizier
المکتبة: (طهران)
موضوع: Congresses ، Programming languages )Electronic computers( -- Semantics,Congresses ، Logic programming
رده :
QA
76
.
63
.
I58
1987
376. Natural language understanding and logic programming , III
المؤلف: / edited by Charles Grant Brown, Gregers Koch
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: Logic programming -- Congresses,Natural language processing(Computer science) -- Congresses
رده :
QA
76
.
63
.
I58
1991
377. Natural language understanding and logic programming, III : Proceedings of the third International Workshop on Natural Language Understanding and Logic Programming, Stockholm, Sweden, 23-25 Jan., 1991
المؤلف: edited by Charles Grant Brown, Gregers Koch
المکتبة: (طهران)
موضوع: Congresses ، Logic programming,Congresses ، Natural language processing )Computer science(
رده :
QA
76
.
63
.
I58
1991
378. Non-Monotonic extensions of extensions of logic programming:Iclp
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: logic programming
رده :
QA76
.
63
.
N65
1994
379. Non-deterministic concurrent logic programming in Pandora
المؤلف: Bahgat, Reem
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Logic programming,، Pandora )Computer program language(
رده :
QA
76
.
63
.
B34
1993
380. Non-deterministic concurrent logic programming in Pandora
المؤلف: Bahgat, Reem.
المکتبة: (طهران)
موضوع: Logic programming , Pandora )Computer program language(
رده :
QA
76
.
63
.
B34
1993
